Абстрактные транспортные системы основаны на абстракции движения ресурсов в области транспорта. Такие движения могут быть определены на двух уровнях абстракции, которые ведут к определению систем эволюций и транспорта. В статье рассматриваются композиции таких систем и языки описания различных абстрактных уровней, представленных в алгебраической, логической форме, а также в форме диаграмм.

Предлагается новая абстрактная модель взаимодействия агентов со средой. Она может быть использована в качестве семантического базиса как для изучения взаимодействия, так и для определения семантики Языка Действий, рассмотренного в предыдущей статье авторов. Взаимодействие агентов и среды определяется более жестким и симметричным путем по сравнению с этой публикацией. Основное понятие, используемое в статье - это хорошо известное понятие транзиционной системы с расходимостью и остановкой. Для определения различных транзиционных систем, используются следующие три основные формы: рекурсивные алгебраические определения, эквациальные определения и структурная операционная семантика.

Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий.

Для найбільш поширеного в системах паралельного програмування стилю SPMD (одна програма для багатьох даних) характерна дуже проста організація керування обчисленнями за допомогою засобів бар'єрного типу. Однак навіть у випадках паралельних застосувань з регулярним характером обчислень показники ефективності паралельних програм, де використовуються ці засоби, є невисокими. Головною причиною такого невикористання потенційної продуктивності паралелізму є надто обмежувальний характер зазначених бар'єрних засобів. В цій роботі для класу паралельних програм з розподіленою та спільною пам'яттю і статичною дисципліною доступу до спільної пам'яті з боку паралельних компонентів, запропоновано форсуючі вирази - координаційні абстракції паралельного програмування у вигляді формальних регулярних виразів, що мають на меті підвищення ефективності синхронізації та обміну даними між цими компонентами. Показано застосування запропонованих засобів програмування для вирішення проблем автоматизації розробки ефективних паралельних програм.

Представлена обработка PC кластера для моделирования потоков грунтовых вод, основанная на PVM параллелизме строго неявных процедур (SIP). Даны математические модели и методы их решения. Рассчитывается эффективность параллелизма SIP метода. Приведены результаты экспериментов, работы мониторинга и визуализации.

В работе рассматривается алгебраический подход к проблеме статического анализа программ и, в частности, к проблеме поиска инвариантных соотношений с использованием метода абстрактных интерпретаций. Дается полная алгебраическая характеристика этого подхода. Алгоритмы иллюстрируются на примерах.

Розглянуто вимоги лінгвістичного забезпечення програмного комплексу, представлено мови опису ряду математичних моделей, побудовано формальні граматики цих мов, реалізовано їх компілятори та створено інструментальний засіб - компілятор компіляторів, що працює в OS Windows 95/NT; запропонована адаптивна організація вказаного лінгвістичного забезпечення.

В докладе рассматриваются вопросы анализа и синтеза интеллектуальных систем управления динамическими объектами с применением математического аппарата теории нечетких множеств в интерактивной системе для выполнения инженерных и научных расчетов MATLAB. Представлена постановка задачи синтеза интеллектуальной системы управления и ее особенности при использовании нечетких множеств. Приводится пример синтеза нечеткого логического регулятора в среде MATLAB, краткие характеристики этого пакета, обобщен опыт работы авторов по моделированию сложных динамических систем в среде SIMULINK. Проведен анализ возможностей расширения набора алгоритмических средств, предоставляемых пакетом в распоряжение пользователя, для моделирования различных процессов.Рассмотрена задача идентификации объекта управления в виде таблицы лингвистических правил по экспериментальным данным, проведен анализ метода, предлагаемого для решения этой задачи пакетом MATLAB.

Вводится понятие параметрических временных сетей Петри, которые обобщают временные сети Петри. В таких сетях на переходы наложены параметрические ограничения, а параметры представляют собой символические константы с неизвестными фиксированными значениями. Предложен алгоритм анализа временного поведения систем реального времени, использующий язык темпоральной логики TCTL и безопасная параметрическая временная сеть Петри.

Викладені результати розробки наукових основ та практичних методів оцінки якісних показників апарату управління державних органів відносно його функцій. Для цього передбачалася розробка інформаційних моделей, математичних методів, та програмних засобів, що дозволяють оцінити якість організаційної структури, її спроможність виконувати існуючі функції; сформувати необхідні рекомендації по функціональному розподіленню елементів організаційної структури; здійснити декомпозицію функцій та задач; здійснити імітаційне моделювання організаційної структури. Запропонована методика визначення чисельності апарату управління за функціями, що повинні виконуватись; кількості ієрархічних рівнів організаційної структури окремих підрозділів; методика визначення ступеня завантаженості працівників апарату управління та витрат на утримання апарату управління.

В докладе рассматривается понятие адаптивности программных систем. Вводятся определения видов адаптивности, обсуждаются представления об уровнях адаптивности и свойствах, присущих адаптивным системам. Сформулированы типичные задачи обеспечения адаптивности программных систем, приведены примеры систем, обладающих свойствами адаптивности.

Розглядається внутрішньокомп'ютерна система знань про оператора, її будова та принципи функціонування. Дається опис її складових блоків: зондування характеристик ЛО, математична модель ЛО, генератор моделі ЛО. Надається апроксимаційна формула рівня уваги оператора з описом параметрів, що входять до неї. Розглянута блок-схема алгоритму формування моделі ЛО з детальним описом кожного кроку. Пояснюється поняття адаптивний комп'ютер.

Доклад посвящен вопросам верификации и валидации прикладного программного обеспечения (ППО) автоматизированных систем организационного управления. Главная цель процесса верификации и валидации - путем всестороннего анализа и тестирования ППО в процессе разработки определить, что ППО корректно выполняет требуемые функции и не выполняет никаких непредусмотренных функций, а также получить информацию о его качестве и надежности.

В настоящее время на кафедре Автоматизации Систем Вычислительных Комплексов ВМиК МГУ разрабатывается проект Системы преобразования и оптимизации программ. Эта система, получая на вход в формализованном виде описание целевой архитектуры, текст программы на исходном языке, и описание целей преобразования, должна строить обобщенное преобразование программы из исходного представления в целевое, в соответствии с заданными требованиями. Данное преобразование в общем случае является последовательностью преобразований, каждое из которых выполняет довольно узкую задачу, и реализуется отдельным алгоритмом. Подразумевается также, что информация в описаниях может быть задана с любой степенью детальности.

Основна мета даної роботи полягає у дослідженні можливостей та властивостей віртуальних паралельних просторів, створених на базі локальних або глобальних обчислювальних мереж засобами ПАРКС-технології.

В докладе рассматриваются вопросы аппаратной поддержки распределенных баз данных и значений на основе конкретного класса знание-ориентированных архитектур - интеллектуальных решающих машин, обладающих развитым внутренним языком высокого уровня с эффективной реализацией графовых структур данных и параллельных вычислений.

В данной статье представлены инструментальные средства моделирования параллельных вычислений в среде алгебраического программирования. Описаны синтаксис и семантика координационного языка и реализация его подмножества SIM, а также использование системы SIM для одной задачи линейной алгебры. При этом проводится сравнительный анализ различных механизмов синхронизации, используемых для реализации параллельного алгоритма.

По мере увеличения объема знаний, подлежащих обработке в научной и практической деятельности человека, все более актуальной становится проблема интеллектуализации обработки их текстового представления (организации доступа и пополнения знаний). Этой цели служат когнитивные модели, методика построения одной из разновидностей которых, названной логико-смысловой моделью текста, изложена в данной статье. Эта модель представляет собой конструкцию, состоящую из композиционной и концептуальной моделей текста. Композиционная модель отражает взаимное расположение структурных разделов текста, а концептуальная - взаимосвязь имеющихся в тексте содержательных разделов (утверждений и определений). Предлагаемая методика проиллюстрирована развернутым примером.

Предлагается подход к решению задачи назначения экипажей для выполнения регулярных рейсов авиакомпании, основанный на использовании ротаций. Предложенный подход позволяет представить задачу планирования экипажей в виде последовательности подзадач. При решении каждой из подзадач выполняется оптимизация по некоторому множеству критериев, при этом на каждом последующем этапе оптимизируется решение, полученное на предыдущем. Такая организация решения задачи позволяет на каждом из этапов сужать область поиска оптимального решения и, таким образом сокращает комбинаторный перебор. Сведение решения задачи планирования экипажей к решению последовательности подзадач достигается за счет построения ротаций - типовых схем использования экипажей. В работе описаны стратегии и базовые алгоритмы процедур для решения задач построения множества ротаций, покрытия расписания и назначения экипажей.

Представлен вариант исчисления и противоречивых решений для программных технологий, использующих знания, а также необходимая формализация. Приведен новый алгоритм вывода и его оценка.